Resolves #1459.

Conjectures associated with A038552

A038552 lists the largest squarefree number $k$ such that the imaginary quadratic field
$\mathbb{Q}(\sqrt{-k})$ has class number $n$.

The conjectures state that:

1. All terms are congruent to $19 \pmod{24}$.
2. This is also the largest absolute value of negative fundamental discriminant $d$ for
   class number $n$. For even $n$, if $k$ is the largest odd number with $h(-k) = n$ and
   $k'$ is the largest even number with $h(-k') = n$, then $k > k'$.

References: oeis.org/A038552

Note: I'm using Claude + Opus for supervised formalization tasks. Claude has no permission to use git on my machine.